Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update markdown linters #218

Merged
merged 4 commits into from
Dec 5, 2023
Merged

Update markdown linters #218

merged 4 commits into from
Dec 5, 2023

Conversation

patrick-5546
Copy link
Member

@patrick-5546 patrick-5546 commented Dec 5, 2023 •
edited
Loading

Description

  • Use sailbot workspace configuration files
  • Fix markdown link check bug where it always checked out sailbot workspace instead of input repository

Verification

  • CI passes in PR
  • CI passes in another repository

@patrick-5546 patrick-5546 added path Pathfinding team infrastructure labels Dec 5, 2023
@patrick-5546 patrick-5546 self-assigned this Dec 5, 2023
@patrick-5546 patrick-5546 force-pushed the patrick-5546/fix-md-linters branch from 58232f2 to 129604f Compare December 5, 2023 20:00
@patrick-5546 patrick-5546 enabled auto-merge (squash) December 5, 2023 20:09
@patrick-5546 patrick-5546 merged commit 8fca8a9 into main Dec 5, 2023
12 checks passed
@patrick-5546 patrick-5546 deleted the patrick-5546/fix-md-linters branch December 5, 2023 20:12
@hhenry01 hhenry01 mentioned this pull request Dec 6, 2023
Merged
@patrick-5546 patrick-5546 mentioned this pull request Dec 6, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@patrick-5546 patrick-5546

Labels
infrastructure path Pathfinding team
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@patrick-5546